disjunktive Normalform – Deutsch–English translations